21 research outputs found

    Programmable coordination media

    Full text link

    Reliable resource allocation between unreliable processes

    No full text

    Embedded Systems Unsuitable for Object Orientation

    No full text
    Abstract. It is argued that the current focus on object technology is detrimental to progress in embedded systems. The core of the problem is that object orientation is fine for analysis but does not answer the design needs. Solutions for shortcomings are sought within the OO dogma, making things worse. This paper will outline a different approach and will discuss benefits of that approach relative to object orientation.

    A Multiprocessing Approach to Compile-Time Symbol Resolution

    No full text

    Detection of information leak by data flow analysis

    No full text

    Compiling constraint handling rules into Prolog with attributed variables

    No full text
    1 Introduction In the beginning of constraint logic programming (CLP), constraint solving was "hard-wired " in a built-in constraint solver written in a low-level language. While efficient, this so-called "black-box " approach makes it hard to modify a solver or build a solver over a new domain, let alone debug, reason about and analyze it. This is a problem, since one lesson learned from practical applications is that constraints are often heterogeneous and application-specific. Consequently, several proposals have been made to allow more for flexibility and customization of constraint systems ("glass-box " or even "no-box " approaches):- Demons, forward rules and conditionals in CHIP [6] allow the definition o
    corecore